Language model - PDFSEARCH.IO - Document Search Engine

Language model
Results: 4719

#	Item
591	Concurrency Makes Simple Theories Hard Stefan Göller1 and Anthony Widjaja Lin2 1 2 Fachbereich Informatik, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-02-03 05:33:40 Mathematics Theory Structure Regular language Model theory Logic Metalogic
592	Nokia Case Study MetaEdit+ revolutionized the way Nokia develops mobile phone software Effective development tools are vital for increasing productivity and improving the quality of products. When Nokia was searching for Add to Reading List Source URL: www.metacase.com Language: English - Date: 2007-01-04 09:32:17 MetaCASE tool Computing Nokia Metamodeling Noki Systems engineering Smartphones Domain-specific modeling Model-driven engineering Software MetaEdit+ Unified Modeling Language
593	The HOP Development Kit Manuel Serrano Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex, France http://www.inria.fr/mimosa/Manuel.Serrano Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:10 Computer file formats HTML RSS Document Object Model XML Hop Service-oriented architecture Programming language Application programming interface Computing Technical communication Markup languages
594	Pig Latin: A Not-So-Foreign Language for Data Processing ∗ † Christopher Olston Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-03-22 17:04:13 Cloud computing Relational model Hadoop Pig Tuple Relation SQL Apache Hadoop MapReduce Computing Data management Query languages
595	Infinite State Bayesian Networks Max Welling∗, Ian Porteous, Evgeniy Bart† Donald Bren School of Information and Computer Sciences University of California Irvine Irvine, CAUSA {welling,iporteou}@ics.uci. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-01-10 04:29:00 Statistical natural language processing Markov models Graphical models Variational Bayesian methods Dirichlet process Gibbs sampling Bayesian network Latent Dirichlet allocation Mixture model Statistics Bayesian statistics Statistical models
596	Journal of Machine Learning Research xx-xx Submitted 6/08; Published xx/xx Distributed Algorithms for Topic Models David Newman Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2009-09-08 17:03:36 Latent Dirichlet allocation Statistical classification Bayesian networks Topic model Mixture model Dirichlet process Linear discriminant analysis Algorithm Gibbs sampling Statistics Statistical natural language processing Statistical models
597	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
598	Microsoft Word - U006_eikos_language_system_description_v2.doc Add to Reading List Source URL: ucadia.s3.amazonaws.com Language: English - Date: 2009-07-17 01:52:31 Science Predicate logic Axiom Model theory Eikos Mathematical logic Function Claim Mereology Mathematics Logic Patent law
599	May 21, :50 WSPC/S0219ACSAdvances in Complex Systems Vol. 15, Nos. 3 & (9 pages) c World Scientiﬁc Publishing Company Add to Reading List Source URL: samarcanda.phys.uniroma1.it Language: English - Date: 2012-09-09 08:32:49 Evolution of language Human evolution Language acquisition Evolutionary linguistics Agent-based model Language Origin of language Scientific modelling Dynamics Science Knowledge Linguistics
600	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics

UPDATE